Fix tasklet_action() to notify correct cpu when running tasklet is rescheduled.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/common/softirq.c b/xen/common/softirq.c
index f99d0d4f7c39f608aef636a101ad8fbca88d64bb..e90b71ed2babd9abb287d85207d82d4864004957 100644 (file)
--- a/xen/common/softirq.c
+++ b/xen/common/softirq.c
@@ -149,7 +149,7 @@ static void tasklet_action(void)
         BUG_ON(t->is_dead || !list_empty(&t->list));
         list_add_tail(&t->list, &per_cpu(tasklet_list, t->scheduled_on));
         if ( t->scheduled_on != cpu )
-            cpu_raise_softirq(cpu, TASKLET_SOFTIRQ);
+            cpu_raise_softirq(t->scheduled_on, TASKLET_SOFTIRQ);
     }
 
     /*